61. Higher order logic theorem proving and its applications :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA76
.
9
.
H5
1995
62. Higher order logic theorem proving and its applications
المؤلف: / Organized by CHEOPS ESPRIT BRA 3215
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96I34
1993
63. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
I34
1992
64. Introduction to mathematical logic and resolution principle
المؤلف: Wang, Guojun, 5391-
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96W26
2009
65. Les mathematiques a la portee de l'ordinateur
المؤلف: Arnold, Ander
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical,، Programming languages )Electronic computers(
رده :
Q
335
.
A75
66. Logic for computer science:foundations of automatic theorem
المؤلف: GALLIER,JEAN H
المکتبة: (طهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
67. Logic for computer science : foundations of automatic theorem proving
المؤلف: Gallier, Jean H.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
68. Logic for computer science : foundations of automatic theorem proving
المؤلف: Gallier, Jean H
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
1986
69. Mechanizing mathematical reasoning
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving. ; Logic, Symbolic and mathematical. ; Reasoning ; Automation. ; Reasoning ; Technique. ;
70. Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday
المؤلف: Dieter Hutter, Werner Stephan )eds.(
المکتبة: (طهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical,Automation ، Reasoning,Technique ، Reasoning
رده :
QA
76
.
L28
Vol
.
2605
71. Proceedings
المؤلف: / M.E. Stickel, (ed.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
76
.
9
,.
A96
,
I57
,
1990
72. Proceedings :
المؤلف: M.E. Stickel, (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.,Logique symbolique et mathématique, Congrès.,Théorèmes-- Démonstration automatique, Congrès.,Automatic theorem proving.,Automatisches Beweisverfahren.,Inteligência artificial (conmputação),Logic, Symbolic and mathematical.,Kaiserslautern 1990, 7
رده :
QA76
.
9
.
A96
I57
1990
73. Proceedings: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
.
I57
1990
74. Symbolic Logic and mechanical theorem proving
المؤلف: Chang, Chin-Liang, 7391-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C53
1987
75. Symbolic logic and mechanical theorem proving
المؤلف: Chin-Liang Chang, Richard Char-Tung Lee,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
رده :
QA
.
C483
9
1987
76. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chang, Chin-Liang,7391-, Chin-Liang Chang, Richard Char-Tung Lee
موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
77. The computer modelling of mathematical reasoning /
المؤلف: Alan Bundy, Department of Artificial Intelligence, Edinburgh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving.,Logic, Symbolic and mathematical.,Mathematics-- Data processing.,Intelligence artificielle.,Anwendung,ARTIFICIAL INTELLIGENCE.,Automatic theorem proving.,Automatisches Beweisverfahren,Computersimulaties.,Inteligencia Artificial (Computacao),Künstliche Intelligenz,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Mathematics-- Data processing.,Mathematik,Mathematik.,Mathématiques-- Informatique.,Redeneren.,THEOREM PROVING.,Théorèmes-- Démonstration automatique.,Wiskunde.
رده :
QA76
.
95
.
B86
1983
78. The computer modelling of mathematical reasoning
المؤلف: Bundy, Alan
المکتبة: (طهران)
موضوع: Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
79. The computer modelling of mathematical reasoning
المؤلف: Bundy, Alan., Alan Bundy
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Mathematics- Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
80. The computer modelling of mathematical reasoning
المؤلف: Bundy, Alan.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics - Data processing,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86
1983
